7

Freiling's axioms of symmetry in a general setting and some applications

Year:
2001
Language:
english
File:
PDF, 122 KB
english, 2001
8

Totally non-immune sets

Year:
2015
Language:
english
File:
PDF, 236 KB
english, 2015
9

A Note on Real Subsets of A Recursively Saturated Model

Year:
1991
Language:
english
File:
PDF, 458 KB
english, 1991
10

DISCRETE ORDERINGS AND COMMUTATIVE MONOIDS

Year:
2001
Language:
english
File:
PDF, 162 KB
english, 2001
11

Propositional superposition logic

Year:
2017
Language:
english
File:
PDF, 324 KB
english, 2017
13

NEARNESS RELATIONS IN DISCRETELY ORDERED RINGS

Year:
2001
Language:
english
File:
PDF, 190 KB
english, 2001
14

Keyword: Print‐on‐demand

Year:
2001
Language:
english
File:
PDF, 440 KB
english, 2001
17

Localizing the axioms

Year:
2010
Language:
english
File:
PDF, 354 KB
english, 2010
19

An Axiomatization of "Very" within Systems of Set Theory

Year:
2003
File:
PDF, 1.78 MB
2003
20

The Order Structure of Continua

Year:
1997
Language:
english
File:
PDF, 339 KB
english, 1997
21

Inducing Measures by Cyclic Networks

Year:
2004
Language:
english
File:
PDF, 129 KB
english, 2004
26

Non-circular, non-well-founded set universes

Year:
1993
Language:
english
File:
PDF, 358 KB
english, 1993
27

Erratum to: Localizing the axioms

Year:
2011
Language:
english
File:
PDF, 64 KB
english, 2011
28

On standard and reference states compatible with the LCVM model

Year:
1994
Language:
english
File:
PDF, 465 KB
english, 1994
29

Semantics for first-order superposition logic

Year:
2019
Language:
english
File:
PDF, 421 KB
english, 2019
30

A Reduction of the NF Consistency Problem

Year:
2007
Language:
english
File:
PDF, 1.43 MB
english, 2007
32

The Order Structure of Continua

Year:
1997-1998
Language:
english
File:
PDF, 3.61 MB
english, 1997-1998
33

A combinatorial result related to the consistency of New Foundations

Year:
2011
Language:
english
File:
PDF, 271 KB
english, 2011
37

Classification of non-well-founded sets and an application

Year:
2003
Language:
english
File:
PDF, 233 KB
english, 2003
45

Objects and their lambda calculus

Year:
2001
Language:
english
File:
PDF, 194 KB
english, 2001
47

Modeling vagueness by nonstandardness

Year:
1998
Language:
english
File:
PDF, 965 KB
english, 1998
48

Forcing and antifoundation

Year:
2005
Language:
english
File:
PDF, 187 KB
english, 2005